home *** CD-ROM | disk | FTP | other *** search
/ Aminet 30 / Aminet 30 (1999)(Schatztruhe)[!][Apr 1999].iso / Aminet / dev / lang / SmallEiffel.lha / SmallEiffel / short / html1 / hook811 < prev    next >
Encoding:
Text File  |  1998-12-22  |  27 b   |  2 lines
  1. <strong>invariant</strong>
  2.